منابع مشابه
A Multiplier Gliding Hump Property for Sequence Spaces
We consider the Banach-Mackey property for pairs of vector spaces E and E′ which are in duality. Let A be an algebra of sets and assume that P is an additive map from A into the projection operators on E. We define a continuous gliding hump property for the map P and show that pairs with this gliding hump property and another measure theoretic property are Banach-Mackey pairs,i.e., weakly bound...
متن کاملProperty Directed Abstract Interpretation
Recently, Bradley proposed the PDR/IC3 model checking algorithm for verifying safety properties, where forward and backward reachability analyses are intertwined, and guide each other. Many variants of Bradley’s original algorithm have been developed and successfully applied to both hardware and software verification. However, these algorithms have been presented in an operational manner, in di...
متن کاملAn Eecient Linear Abstract Machine with Single-pointer Property
We introduce xLIN, a novel linear abstract machine that introduces no penalty in computing with non-linear resources, while ensuring that computing with linear resources takes no space and constant time. Garbage collection is not required for linear objects, while still present for non-linear objects. We propose a weak calculus of explicit substitutions as its foundations, and show how it may b...
متن کاملProperty Directed Equivalence via Abstract Simulation
We present a novel approach for automated incremental verification that employs both reusable and relational specifications of software to incrementally verify pairs of programs with possibly nested loops. It analyzes two programs, P the one already verified, and Q the one needed to be verified, and proceeds by detecting an abstraction αP of P and a simulation ρ, such that αP simulates Q via ρ....
متن کاملAbstract Combinatorial Programs and Efficient Property Testers
COMBINATORIAL PROGRAMS AND EFFICIENT PROPERTY TESTERS∗ ARTUR CZUMAJ† AND CHRISTIAN SOHLER‡ Abstract. Property testing is a relaxation of classical decision problems which aims at distinguishing between functions having a predetermined property and functions being far from any function having the property. In this paper we present a novel framework for analyzing property testing algorithms. Our ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proyecciones (Antofagasta)
سال: 2009
ISSN: 0716-0917
DOI: 10.4067/s0716-09172009000100008